AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[I, S, K, c*phi, -A + mu, gamma + A]
